1c4f7194bfb56f2d3d657f3c0108ca5515b1ddcb,plugins/mpsjava/platform/source_gen/jetbrains/mps/ide/java/platform/highlighters/JavaHighlighters.java,JavaHighlighters,disposeComponent,#,31
Before Change
public void disposeComponent() {
Highlighter highlighter = getHighlighter();
highlighter.removeChecker(myOverrideMethodsChecker);
myOverrideMethodsChecker.dispose();
myOverrideMethodsChecker = null;
myProject = null;
After Change
Highlighter highlighter = getHighlighter();
while (DequeSequence.fromDeque(myCheckers).isNotEmpty()) {
BaseEditorChecker checker = DequeSequence.fromDeque(myCheckers).popElement();
highlighter.removeChecker(checker);
checker.dispose();
}